https://9lib.org/document/y96r83dl-authors-exists-function-strictly-increasing-positive-trajectories-controllable.html