Leibniz and Locke