 The aforementioned authors all seem to agree that if first-order logic, which quantifies over objects, can be replaced with a logic that doesn’t so quantify, or one can give a translation of every intuitively true sentence of first-order logic into another language that doesn’t quantify over objects, then ontological nihilism is vindicated. That is, if one can give an “ontologically innocent” (that is, one that doesn’t quantify over anything) paraphrase of every sentence, or a scheme for so doing, then ontological nihilism is on good footing.