 Suppose that the expression ‘at world \(w\)’ works as a restricting modifier: its main task consists in restricting the quantifiers within its scope to parts of \(w\) (Lewis 1986). If so, then it should distribute through the truth-functional connectives. This means in particular that