 Two things are worth mentioning here. First, it is important to note that, while most philosophers will welcome these results, there is still a clear choice that is being made here. Adams has identified two intuitive notions of truth with respect to a world \(w\) within a strict actualist metaphysics that, as we’ve just seen, appear to yield dramatically different logical truths. Both, however, are coherent. Prior built his logic Q on the one; Adams proposes to build one on the other—at least, in part (see  §4.4.4  below).