Text this: Proof Theory