superinfinite

not defined yet