  Following Adams 1981, proponents of our final view can claim that the actually existing quantified proposition [There is someone parented by Portman and Bush] is a member of a world-story corresponding to the possibility in which Portman and Bush have a child together, but no atomic proposition of the form [o is parented by Portman and Bush] is a member of that set, as there is no such proposition that could have been true. (If there were such an atomic proposition, then there would be something that could have been parented by Portman and Bush, which there is not.) So, there are quantified propositions that are true at a possible world w even though there are no witnesses of those propositions — i.e., no corresponding singular propositions — true at w. This requires abandoning a general analysis of the truth of quantified propositions to the truth of atomic propositions. The best that a proponent of this account can say is that, had one of the possibilities in question been actual, then there would have been such a singular proposition and so there would have been a witness to the possibly true quantified proposition. But, as things actually are, the quantified proposition could have been true even though there is no singular proposition that could have been true. 