 We define the intension of contingent to be the function which, for each world w as input, produces as output the function c of type (sb)b such that for any function p of type sb, c(p) is true at w iff there are worlds u and v such that p(u) = TRUE and p(v) = FALSE (this is the meaning of ‘contingent that’ in the sense ‘contingent whether’). So the intension of ‘contingent’ is also constant, since the same function c is the output at every world.