 The modal might introduces a quantifier over possible worlds that takes scope over the indefinite a wolf, in the same way that every boy takes scope over an essay in  (11)  above. The set of assignment functions that is the output of the update contributed by the first sentence in  (12)  will therefore store a set of possible worlds contributed by might that are epistemically possible relative to the actual world, and a set of wolves that come in in these epistemically accessible worlds. The second sentence in  (12)  can then further elaborate on the dependency between worlds and wolves requiring at least some of the epistemic possibilities to be such that the corresponding wolf not only comes in but also eats you.