unlimitedness
not defined yet