  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 propositions like (7) that are true in any possible worlds. But there is another notion of truth with respect to a possible world that is associated with genuine necessity and contingency. Adams describes this notions as follows.