checking proof Synonym