p. 122
1st line: the qeq constraint "h=_q l" and its description contains
remainders of the technically important distinction between handles
and labels of dominance constraints, eliminated elsewhere in the
presentation (since it is of no immediate concern). Either eliminate
the remaining traces, or, alternatively, add a footnote that explains
that a distinction between handles and labels is ignored.
To do.