 (i) Since the theory has both a quantifier \(\exists\) and a predicate \(E!\), Zalta offers two interpretations of his theory (1983, 51–2; 1988, 103–4). On one interpretation, the quantifier \(\exists\) simply asserts there is and the predicate \(E!\) asserts existence. On this interpretation, a formula such as \(\exists x \neg E!x\), which is implied by the axioms described below, asserts “there is an object that fails to exist”. So, on this interpretation, the theory is Meinongian because it endorses non-existent objects. But there is a Quinean interpretation as well, on which the quantifier \(\exists\) asserts existence and the predicate \(E!\) asserts concreteness. On this interpretation, the formula \(\exists x \neg E!x\) asserts “there exists an object that fails to be concrete”. So, on this interpretation, the theory is Platonist, since it doesn’t endorse non-existents but rather asserts the existence of non-concrete objects. We’ll henceforth use the Quinean/Platonist interpretation.