noninfinitely
not defined yet