Do not permutate zero-weight terms in commutative law. Make two rows of trees in gui mode.