verifying the proof Synonym