 Graham Priest (2005) has proposed a theory of nonexistent objects that treats “there is” and “exists” as synonyms. He interprets quantification as utterly ontologically neutral. The quantifier should express neither “there is” nor “there exists”. Rather, quantifier expressions should be read “For some \(x, \ldots x\ldots\)”, where “For some \(x, \ldots x\ldots\)” does not imply that “there is (or exists) an \(x\) such that \(\ldots x\ldots\)”.