A sentence of quantified modal logic that contains no modal operator a nonmodal sentence in a modal context is therefore translated simply by restricting its quantifiers to things in the actual world.