uninfiniteness
not defined yet