Finally, if one insists that propositions like (7) are singular propositions that are possibly true, then one must claim that (7) is true at worlds in which it does not exist, thus denying (P1). (Examples include Adams 1981, Deutsch 1994, Fine 1977 and 1985, Fitch 1996, and Menzel 1991 and 1993.) A proposition p is true in a world w just in case, were w actual, then p would have been true. Call this inner truth. (P1) is true for inner truth and there are no singular negative existential proposi