To speak more precisely: at any world, the name the actual world denotes or names w; the predicate is actual designates or is true of and whatever exists in w; the operator actually is true of propositions true at, and so on for cognate terms of other categories.