 Once again, 2D matrices can be used to graphically depict how the semantic theory works. Let’s take our universe of possible worlds to contain just three worlds: \(w_1\) is a world where Obama won, \(w_2\) a world where McCain won, and \(w_3\) a world where Clinton won. To explain the ‘Fixedly Actually’ operator, we need to consider possible worlds playing two different roles: the standard role as a circumstance of evaluation and the special role of being designated as the actual world. To construct a 2D matrix, we array possible worlds playing the standard role along the horizontal axis, and along the vertical axis we array the same worlds playing the role of being designated as actual. Each horizontal row of this matrix represents a different model with a particular world designated as  actual.[7]  On this account, the truth of a sentence embedded within the ‘Actually’ operator depends entirely on what’s true in the world designated as actual in a given model. So we can fill in the 2D matrix as follows: