correct soft symbolic