desynonymization

not defined yet