undecreasingly
not defined yet