all tests are passing for symbolic2