One can see that in our simplified notation, a cyclic permutation of the indices l, k, j corresponds to an opposite cyclic permutation of the state labels O, N, M . We can now group different terms together whose sum must also individually be invariant under cyclic permu-tations. E.g., the power of β in a term remains the same after applying a permutation.