please add symbolic tests