Basic Proof Theory 2ed: 43