Hence I need not give directions for formalizing modal discourse directly by means of counterpart theory; I can assume the reader is accustomed to formalizing modal discourse by means of modal operators, so I need only give directions for translating sentences of quantified modal logic into sentences of counterpart theory.