studying the proof Synonym