 On the other hand, DPL and dynamic approaches generally do face a problem. Put crudely, DPL (and dynamic approaches generally) solve the problems of discourse and donkey anaphora by formulating semantics for quantifiers that allows quantifiers to semantically bind variables that aren’t in their syntactic scopes. In this they (self-consciously) resemble DRT. But then they face a problem similar to one faced by DRT and mentioned above. Consider again our discourse  (18), repeated here