transfinite
not defined yet