inversive
not defined yet