analyzing the proof Synonym