divariant

not defined yet