https://9dok.net/document/yr3jvwjv-find-order-onqsuch-thatqis-well-ordered-from-below.html