decreases
not defined yet