(N(M(M(I(H))(H)(I))(B)))    vs.    (H(M(B)(I)(M(I)(H)(I))))