divariant
not defined yet