https://123dok.net/document/z1dr7v7d-exercising-nuprl-s-open-endedness.html