include("gt_header").

list(sos).
% ((x @ y) @ z) = (u @ (v @ w)).                % (A) commutator is associative
% (x @ y) * z = z * (x @ y).                    % (N) nilpotent class 2
% (x @ z) * (y @ z) = ((x * y) @ z).            % (D) distributivity
  x * y * z * y * x = y * x * z * x * y.        % (E) CS essence of N
end_of_list.

list(sos).
% ((A @ B) @ C) != (D @ (F @ G))         | $Ans(A).
  (A @ B) * C != C * (A @ B)             | $Ans(N).
% (A @ C) * (B @ C) != ((A * B) @ C)     | $Ans(D).
% A * B * C * B * A != B * A * C * A * B | $Ans(E).
end_of_list.
