Recently I have an interesting reading of Terrence Tao’s community-collaborative project on the equational theories. He mentioned an interesting algebra exercise as follows.Given a magma (an algebraic strucuture with binary multiplication without commutativity or associativity law guaranteed) so that$$\begin{equation}x = (y \circ x) \circ (y \circ (y \circ x))\end{equation}$$holds for any , prove that$$\begin{equation}x \circ…