https://5dok.net/document/q2n62776-writing-natural-deduction-similar-calculi-challenge-typographical-complex.html