Identifying the intension of a mathematical term with its computational content is a plausible thing to do. It does, however, clash with what came earlier in this article. Expressions like “the King of France” get treated one way, expressions like “\(1 + 4\)” another. For any given expression, how do we decide which way to treat it? It is possible to unify all this. Here is one somewhat simple-minded way. If we think of the sense of “\(1 + 4\)” as a small program, there are certainly states, possible worlds, in which we have not executed the program, and others in which we have. We might, then, think of the intension of “\(1 + 4\)” as a partial function on states, whose domain is the set of states in which the instructions inherent in “\(1 + 4\)” have been executed, and mapping those states to 5. Then, clearly, we can have states of an epistemic possible world model in which we do not know that “\(1 + 4\)” and “\(2 + 3\)” have the same outputs.