 This brings us to a family of applications for different styles of quantification explored above. It is not uncommon to respond to indispensability arguments for the existence of objects of a certain kind by means of a paraphrase strategy, which if successful, would show how to make do without the ontological commitment to objects of the offending kind. Oftentimes, the paraphrase will involve a different style of quantification, whether an alternative to classical quantification or an extension thereof. For example, Gottlieb (1980) attempted to respond to the Quine-Putnam indispensability argument for the existence of numbers by dispensing with objectual quantification in favor of substitutional quantification in arithmetic. Burgess &amp; Rosen (1997) provides an extensive catalogue of different expressive resources philosophers have used in order to bypass apparent commitment to mathematical objects. Or take the question, for example, whether there are composite objects of various kinds. Dorr &amp; Rosen (2002), Hossack (2000); and van Inwagen (1995) have each argued that plural quantification can be used to paraphrase away apparent ontological commitment to composite objects—other than organisms in van Inwagen’s case: we need only replace apparent singular quantification over composite objects with plural quantification over its alleged parts, and replace apparent singular predications of a composite object with plural predications of their  parts.[20]