https://123dok.org/document/ozl5rwlq-new-regularity-properties-minimal-time-function.html