And if there are quantifiers that do not lie within the scope of any modal operator, we must restrict their range to thedomain of things in the actual world; for that is their range in quantified modal logic, whereas an unrestricted quantifier in counterpart theory would range at least over all the worlds and everything in any of them.