 The previous two sections discussed views that deny that existence is a property of individuals and views that deny that existence is a universal property. This section considers views according to which existence is a universal property of individuals, in the hope of reaping the benefits of both the earlier views. It then explores the interaction between quantifiers, tense operators, modal operators, and a universal, first-order existence predicate in an attempt to expose some difficulties such a view faces.