coextension

not defined yet