Text this: Advances in Proof Theory