 Standard possible worlds semantics lacks the expressive power to capture what is said by this sentence (Crossley and Humberstone 1977; Hazen 1976, 1978). The claim is not that there is a possible world such that all the things that are red in that world are also shiny in that world (they’re supposed to be red in the actual world, not the counterfactual one). Nor is the claim that for each object that is red, there is a possible world in which it is shiny (the objects are all supposed to be shiny together within a single possible world). So here is a relation among objects in possible worlds that cannot be expressed in standard possible world semantics. To capture the relation, we need to introduce an extra element into the formal framework: we simply designate one world within the model (the set of possible worlds) to play the role of the actual world. We can then introduce a sentential operator ‘\(\mathcal{A}\)’ (read as ‘Actually’), which requires us to evaluate any claim within its scope at the designated world, even when the operator is embedded within the scope of other modal operators. Using this enriched possible worlds framework, we can represent the truth-conditions of our sample sentence in a straightforward way: