decrescent
not defined yet