x_l = H_l([x_0, x_1, . . . , x_l−1])
Could be re-written: x_l = [H_l(x_0), H_l(x_1), . . . , H_l(x_l−1)]