https://123dok.net/document/zlgxg6rr-note-paper-disjunctive-languages-compatible-orders.html