proving valid Synonym