desynonymize

not defined yet