zeroing in on the proof Synonym