One possible solution is to say that for mathematical terms, intension is a different thing than it is for definite descriptions like “the King of France.” The expression “\(1 + 4\)” is a kind of miniature computing program. Exactly what program depends on how we were taught to add, but let us standardize on: \(x + y\) instructs us to start at the number \(x\) and count off the next \(y\) numbers. Then obviously, “\(1 + 4\)” and “\(2 + 3\)” correspond to different programs with the same output. We might identify the program with the sense, and the output with the denotation. Then we might account for not knowing that \(1 + 4 = 2 + 3\) by saying we have not executed the two programs, and so can’t conclude anything about the output.