Reason and experience in Leibniz and Spinoza