nonvariant

not defined yet