 should be true, that is, refer to TRUE, at every  world.[5]  So the intension of (13) is the function f of type sb such that for every world w, f(w) = TRUE. This is a constant intension. On the other hand,