nonvariableness

not defined yet