superinfiniteness
not defined yet