 On this take, then, Adams fails to fully embrace his distinction between truth in a world and truth at a world. He evaluates negated propositions at worlds where they fail to exist from our perspective in the actual world, but does not extend the idea to modal propositions; instead, to evaluate a modal proposition \(\Box\varphi\)/\(\Diamond\varphi\) at a world \(w,\) he switches back to an internal perspective that requires the existence of \(\varphi\) in \(w,\) i.e., the evaluative perspective that Prior adopted across the board. It is unsurprising, then, that Adams’ logic A restores only some of the logical truths that were lost in Prior’s Q. But, as Turner notes, a broader embrace of Adams’ perspectivalism would have us evaluate all propositions from our standpoint in the actual world. So “situated”, a modal proposition \(\Box\varphi\)/\(\Diamond\varphi\) can then be considered true at a world \(w\) simply if \(\varphi\) is (from our standpoint, not \(w\))’s) true at all/some worlds. As in the shift from Prior to Adams, then, there is no change to the metaphysics of strict actualism but only a shift in the underlying (intuitive)  semantics.[92]