 Return to the “picture thinking” that truth at a world is supposed to capture. We are standing outside of a world, looking into it, and using the propositions, objects, properties, and relations of our own world to describe what we see. It makes sense to think that which predications of \(a\) are true at a world is determined solely by things going on in that world—how could facts from other worlds ever get into the picture? But we tend to think that modal truths are not made true solely by what is going on in any one world but by what goes on in the entire space of possible worlds. Furthermore, on the model of “standing outside” of a world looking into it, it is not implausible to think that we should be able to “see” the entire space of possible worlds. We can say, of a non-\(a\) world \(W,\) that at that world it is possible that \(a\) is \(P,\) precisely because, standing outside of \(W,\) we can see other worlds – worlds where \(a\) exists and is \(P\). (2005: 205)