coessentiality

not defined yet