proving the correctness of Synonym