  It is also interesting to note that in his Primary Truths and Correspondence with Clarke, Leibniz presents PII not as a bedrock axiom of his system but as a consequence of PC and PSR. Briefly, one way to sketch the argument is this: