making visible the proof Synonym