nonvariance

not defined yet