subvariety

not defined yet