https://123dok.net/document/zpn162nv-problem-proof-nets-classical-logic.html