Proof of Synonyms