Quantification and Leibniz's Law