Text this: Ways of proof theory