uninfiniteness

not defined yet