To be tested: symbolics