Text this: Dag Prawitz on Proofs and Meaning