resymbolizations