monitoring the proof Synonym