Leibniz held that all truths, including causal ones, are in principle reducible to identities, with ...