 The successful application of dynamic predicate logic to the interaction of quantification and anaphora in natural languages hinges on the fact that in DPL, existential quantification is dynamic whereas universal quantification is not. What would happen if universal quantification were dynamic too? Note first of all, that it makes no sense to define a universal quantification action \(\forall x\) in parallel to the random reset action \(\exists x\). This is because universal quantification only makes sense on a given domain (the restrictor) and with respect to some given property (the scope). Second, if we give \(\forall x(\phi)(\psi)\) a dynamic interpretation, it predicts that universal quantifiers can stand in anaphoric relations to singular pronouns across clausal boundaries, just as existential quantifiers can. For cases like  (9),  this is clearly undesirable.