nonincreasable

not defined yet