re thinking the proof Synonym