Proofs as Acts versus Proofs as Objects: Some Questions for Dag Prawitz