start with formula_59, the tree consisting only of the root. to insert formula_60 into formula_57, walk up the "rightmost" path beginning at the recently inserted leaf formula_62 to the root, until the deepest node formula_4 with formula_64 is reached.