asymbolic
not defined yet