Locke and Leibniz on substance. (2015)