certifying the correctness of Synonym