redecrease

not defined yet