re checking the proof Synonym