proving the validity of Synonym