 Note in particular that the “y” in “Bxy” is not in the scope of the existential quantifier. Now given a quite straightforward treatment of the universal quantifier, on which it allows dynamic effects in its  scope,[19]  in all essentials, the example works like (32)/(32a). For stripping the universal quantifier away, we have: