 One solution is to abandon actualism and accept that there are merely possible objects. According to this possibilist position, merely possible objects are among the most unrestricted domain of quantification, being constituents of fundamental reality. While this position deserves serious consideration, let us set it aside and explore only actualist solutions. (The position is structurally similar to the Meinongian position, as the most inclusive domain of quantification, where there is in the most inclusive and unrestricted of senses, includes entities that do not actually exist, even if they exist simplicter.) A second solution rests on the Meinongian distinction between being, in the sense of being a member of the most inclusive domain of quantification and discourse, and existing and the claim that there are objects that do not exist. Armed with a Meinongian metaphysics, we can reject Alien as capturing the intuition that existence is contingent, opting instead for the following sentence as doing that, where E!x is the Meinongian logically primitive existence predicate: ∃x(¬E!x ∧ ◊E!x). The Meinongian can then deny Alien and appeal to the truth of this sentence to explain our intuitions concerning the contingency of existence. Everything is actual, on this view, although some of those actual things do not exist but could have, even though they all have being and the domain of being is fixed across all possible worlds. This solution to our problems, however, is unavailable to a proponent of the view that existence is a universal property of individuals.