 at a world w, the result will be FALSE. This is because the function p of type sb that is the reference of ^((every(woollen(sweater)))(woollen)) at every world, maps every world to TRUE. So there is no u such that p(u) = FALSE. But there is such a u for ^((every(pringle(sweater)))(woollen)), and so