Problem STN-9. Single identity for ternary SQUAGs. Find a single axiom for the equational theory given by the following set.

\{ \begin{matrix}g(x) = x \\ f(x, x, x) = x \\ f(x, y, f(z, x, y)) = z \end{matrix} \} .