Extra loop

Definition
An loop $$(L,*)$$ is termed an extra loop if it satisfies the following identity for all $$x,y,z \in L$$:

$$\! x * (y * (z * x)) = ((x * y) * z) * x$$