 The leading idea in dynamic treatments of generalized quantification and plural anaphora is to represent plural values not by assigning pluralities to variables, but rather to adopt a notion of context that allows for pluralities (e.g., sets) of assignment functions. Say that the first sentence in  (11)  is translated into dynamic predicate logic with dynamic quantifiers as follows: \(\forall x(\textrm{boy}(x))(\exists y\cdot \textrm{essay}(y)\cdot \textrm{wrote}(x,y))\). The interpretation of such formulas requires collecting assignment functions in which the value of \(x\) is a boy and the value of \(y\) is an essay written by this boy. The universal quantifier requires such collections to include all possible values for the predicate boy. In the subsequent discourse, we now have access to the set of all \(x\) values, i.e., the set of all boys, the set of all \(y\) values, i.e., the set of essays written by the boys, as well as the individual boy-essay pairs: each atomic assignment \(f\) in the set of contextual assignments following the first sentence of  (11)  is such that \(f(y)\) is an essay written by boy \(f(x)\). All that is now needed to account for the case of anaphora in  (11) is the assumption that the universal  quantification there involves universal quantification over  assignment functions, rather than just quantification over  values. See van den Berg (1996), Nouwen (2007,  forthcoming), Brasoveanu (2007, 2008, 2013) for various ways of  implementing this idea.