“…(Notice that our hypotheses do ensure that the LUR hypothesis holds for Ω(·, K, l).) If (L, s) is a node of our tree then there are three possibilities: (1) if the oscillation of f on L is smaller than then (L, s) has no immediate successors in the tree (that is to say, (L, s) is a maximal element); (2) if the oscillation of f on L is at least and there is a good choice (M, N ) of type τ (s) on L then we introduce into Υ two immediate successors, (L ∩ X(M, N ), s + 1) and (L ∩ X(M, N ), s + 1), of (L, s) (notice that, by Proposition 6.3, the LUR hypothesis holds for the Ω functions associated with these two new nodes); (3) if the oscillation of f on L is at least but no good choice of type τ (s) exists, then we introduce just one immediate successor (L, s + 1) of (L, s) into the tree.…”