coactivity
not defined yet