According to the third objection to sufficiency, the quantifiers of first-order logic, properly understood, do not carry existential commitment; they are not “existentially loaded”. Indeed, calling ‘∃x’ the “existential quantifier” is a misnomer; it would be better to call it the “particular quantifier” in contrast with the “universal quantifier”. Ordinary language, on its face, supports the view that quantification need not be existentially loaded (see §4). For example, if we assert “some ficti