https://9dok.net/document/yr36pp57-problem-reachability-of-upward-closed-sets.html