 In any world in a model (a row in the matrix), ‘Actually S’ is always evaluated by looking at the designated world of that model. So such sentences are either necessarily true (True at every world in the model) or necessarily false (False at every world in the model). This is the sense of necessity that corresponds to the standard modal operator ‘\(\Box\)’. On this understanding of necessity, the target sentence is necessarily true (since \(w_1\) represents the actual actual world). But intuitively there is a sense in which the sentence seems contingent, since a different world could have been actual: if \(w_2\) or \(w_3\) had been actual, the sentence ‘Obama actually won’ would have been false. This fact is reflected in the 2D matrix by the diagonal intension, where the sentence comes out true with respect to \(\langle w_1, w_1\rangle\), but false with respect to \(\langle w_2, w_2\rangle\) and \(\langle w_3, w_3\rangle\). The ‘Fixedly Actually’ operator is sensitive to the necessity or contingency of the diagonal intension. The sense in which the target sentence (2) is not necessary is that it’s not fixedly actually true.