Part 1. Proof Theory