decresc

not defined yet