https://9dok.net/document/qvlm1vpd-morph-gentzen-plan-computation-with-visual-diagrams.html