undecreasing

not defined yet