analyzing proof Synonym