Whether weak or strong, the interpretation of a condition of the form K(Qx)K′, where Q may be any quantifier, makes K accessible to K′, and in this respect (which is the fulcrum of the DRT analysis) conditionals and quantified sentences are the same. Consequently, the discourse referents x and y in [8b2] are accessible to v and w in [8b3], and the latter may be equated to the former.  The resulting representation is [8c], which is equivalent to [8d].