monotropically
not defined yet