Text this: Proof Complexity