Proving Synonyms