multifoldness
not defined yet