Figure 2: A proof in Gentzen's natural deduction, 1934.