Leibniz distinguishes demonstrations (logically necessary proofs) from causal explanations, treating...