trivariant
not defined yet