establishing the correctness of Synonym