explicit proof Synonym