deleted extraneous code & change symbol sequence imp to embed in its getter