 Before we turn to defining dynamic predicate logic, we should note that the route dynamic semantics takes to account for anaphora is by no means the only one to be found in the literature. We could also choose to give up the idea that pronouns are correspond to variables and instead assign them a more intricate meaning, one akin to that of definite descriptions. In the contemporary tradition, such ideas emerge as early as Quine 1960 and Geach 1962, before being brought to maturity by (especially) Evans (1977, 1980), Parsons (1978, Other Internet Resources), Heim (1990), and Elbourne (2001, 2005). See Nouwen (forthcoming) for discussion.