comprehensive proof Synonym