coessentially

not defined yet