proving correct Synonym