 It is easy to see that the pointed plausibility model \((N,w_1)\) clearly satisfies the property of local connectedness, so this is an allowable picture. To see that this picture reasonably represents the above-describe example scenario, first notice that we have one world for each of the four possible truth assignments to the two letters p and q. At the actual world \(w_1\), the letter p is false and the letter q is true. Agent a considers each of the four worlds to be informationally equivalent (since she does not know with certainty which world is the actual one); however, she considers the p-worlds to be strictly more plausible than the \(\lnot p\)-worlds. This represents her belief that p is true: each of the worlds she considers to be most plausible overall satisfies p. Further, if she is told that p is in fact false, she will restrict her attention to the next-most-plausible \(\lnot p\)-worlds, thereby statically revising her belief. It is in this sense that she trusts b (and so believes p is true) but does not completely rule out the possibility that he is incorrect or deceptive. Since a has no information about q, each of her spheres—the inner p-sphere and the outer \(\lnot p\)-sphere—contains both a world at which q is true and a world at which q is false. 