resymbolization

not defined yet