threefoldedness

not defined yet