constitute proof of Antonyms