For instance, there must be a maximal node dominating (possibly reflexively) node n 3 but not node n 4 .
this node dominates a single link, and will not be processed by the algorithm because of the requirement at line 12 in Figure 18.