symbolic representations done, tests todo