decrescence
not defined yet