+What are pegs? The term harks back to a 1986 paper by Fred Landman
+called `Pegs and Alecs'. Pegs are simply hooks for hanging properties
+on. Pegs are supposed to be as anonymous as possible. Think of
+hanging your coat on a physical peg: you don't care which peg it is,
+only that there are enough pegs for everyone's coat to hang from.
+Likewise, for the pegs of GSV, all that matters is that there are
+enough of them. (Incidentally, there is nothing in Gronendijk and
+Stokhof's original DPL paper that corresponds naturally to pegs; but
+in their Dynamic Montague Grammar paper, pegs serve a purpose similar
+to discourse referents there, though the connection is not simple.)
+
+Pegs can be highly useful for exploring puzzles of reference and
+coreference.
+
+ Standard assignment function System with Pegs (drefs)
+ ---------------------------- ------------------------
+ Variable Object Var Peg Object
+ --------- ------- --- --- ------
+ x --> a x --> 0 --> a
+ y -/ y -/
+ z --> b z --> 1 --> a
+
+A standard assignment function can map two different variables onto
+the same object. In the diagram, x and y are both mapped onto the
+object a. With discourse referents in view, we can have two different
+flavors of coreference. Just as with ordinary assignment functions,
+variables can be mapped onto pegs (discourse referents) that are in
+turn mapped onto the same object. In the diagram, x is mapped onto
+the peg 0, which in turn is mapped onto the object a, and z is mapped
+onto a discourse referent that is mapped onto a. On a deeper level,
+we can suppose that y is mapped onto the same discourse referent as
+x. With a system like this, we are free to reassign the discourse
+referent associated with z to a different object, in which case x and
+z will no longer refer to the same object. But there is no way to
+change the object associated with x without necessarily changing the
+object associated with y. They are coreferent in a deeper, less
+accidental sense.
+
+GSV could make use of this expressive power. But they don't. In
+fact, their system is careful designed to guarantee that every
+variable is assigned a discourse referent distinct from all previous
+discourse referents.
+
+End of digression on pegs.