re examining the proof Synonym