difunctional
not defined yet