subvarieties
not defined yet