The inference from the narrow scope translation to the wide scope translation (exportation) requires the further premise (There is something a in the actual world, any counterpart of which is the only thing in its world such that ffS) which is a simplified equivalent of the translation of ad(f a) with given narrow scope.