To illustrate: if a theory contains a quantified sentence ‘∃x Electron(x)’, then the bound variable ‘x’ must range over electrons in order for the theory to be true; and so the theory is ontologically committed to electrons. (For an introduction to the logic of quantifiers and bound variables, the basics of which are presupposed in this article, see Shapiro (2013).)