nonvarieties

not defined yet