Locke and Leibniz on Substance