Consider $2$ binary operators defined for a finite set with $n$ elements. Operator $*$ behaves like a commutative latin quandle : $$x*x = x$$ $$a*b=b*a$$ $$a*(b*c)=(a*b)*(a*c)$$ And forms a latin square. Commutative operator $+$ behaves like $$A*(B+C) =(A+B)*(A+C)$$ $$X+Y = Y+X$$ Question : Is $+...