verifying the correctness of Synonym