A Comment on ‘Definitions, Assumptions, Propositions and Proofs in Sraffa’s PCMC ’