coinherent
not defined yet