preincreasing

not defined yet