noninfinite

not defined yet