 The ontology of non-actual possible objects is an integral part of the possibilist view that quantifiers in quantified modal logic range over all possible objects, non-actual as well as actual. This possibilist view validates the Converse Barcan Formula. If we read ‘F’ as meaning “does not exist”, the Converse Barcan Formula says that if something x is such that it is possible that x does not exist, then it is possible that something does not exist. The antecedent is plausibly true, for any one of us, actual people, could have failed to exist. But if so, the consequent is true as well, assuming the truth of the Converse Barcan Formula. But on actualist representationism, no possible world contains a representation which says that something does not exist, for it is contradictory provided that ‘something’ means “some existing thing”. So if the consequent is to be true on actualist representationism, ‘something’ should not mean “some existing thing” but rather should mean “some thing, irrespective of whether it exists”. That is, the existential quantifier in the consequent needs to have a free range independently of the possibility operator in whose scope it occurs, which is hard to fathom on actualist representationism but which the possibilist view allows. The consequent does not even appear to be threatened with contradiction if we assume the possibilist view and let the existential quantifier range over all possible objects, including non-actual ones.