 Just from the meaning of the words, you can see that (1) must be true in any context \(c = \langle s, p, t\rangle\). After all, \(c\) counts as a linguistic context just in case \(s\) is a speaker who is at place \(p\) at time \(t\). Therefore (1) is true at \(c\), and that means that the pattern of truth-values (1) has along the context dimension must be all Ts (given the possible world is held fixed). This suggests that the context dimension is apt for tracking analytic knowledge obtained from the mastery of our language. On the other hand, the possible-worlds dimension keeps track of what is necessary. Holding the context fixed, there there are possible worlds where (1) is false. For example, when \(c = \langle\)Jim Garson, Houston, 3:00 P.M. CST on 4/3/\(2014\rangle\), (1) fails at \(c\) in a possible world where Jim Garson is in Boston at 3:00 P.M. CST on 4/3/2014. It follows that ‘I am here now’ is a contingent analytic truth. Therefore, two-dimensional semantics can handle situations where necessity and analyticity come apart.