evaluating proof Synonym