“…Example 1.2. Let X = {x 1 , x 2 , x 3 , x 4 }, and S : X × X → X × X be defined by S(x i , x j ) = (x g i (j) , x f j (i) ) where g i and f j are permutations on {1, 2, 3, 4} as follows: 3,4). The solution (X, S) is non-degenerate and symmetric and its structure group G(X, S) has the following defining relations:…”