highlighting proof Synonym