Dag prawitz on proofs and meaning (2015)