unvariant

not defined yet