guaranteeing the correctness of Synonym