 We know that formula_35 is a child of formula_36.To let the verifier calculate the next node formula_36 given the previous, they need to know the other child of formula_36, the sibling node of formula_35.We call this node formula_40, so that formula_41.