testing symbolic