Proof against Synonyms