 is TRUE at w. Note that choice of w doesn’t matter, since the intension of contingent produces the same function c at every world, and the reference of, e.g., ^((every(pringle(sweater)))(woollen)), is the same function of type sb at every world.