testing the proof Synonym