The inference from the wide scope translation to the narrow scope translation (importation) requires the same auxiliary premise, and another as well: (The unique a in the actual world such that i^ a, has at least one counterpart in any world