contractional
not defined yet