Building hooks is like applying special unary rules on top of nonhooks.
in terms of of outside heuristic for hooks, there is a slight difference from that for non-hooks: we do not need the backward-looking estimate for the left boundary word u.