intensional
not defined yet