Text this: Proof Theory and Algebra in Logic