Proof theory in the abstract