https://9dok.net/document/z1d933pp-natural-semantics.html