satisfactional
not defined yet