coessentialness

not defined yet