infiniteness
not defined yet