coemptional
not defined yet