distinguishing proof Synonym