We contrast the simple proof that a quasigroup which satisfies the Moufang identity $(x·yz)x=xy·zx$ is necessarily a loop (Moufang loop) with the remarkably involved prof that a quasigroup which satisfies the Moufang identity $(xy·z)y=x(y·zy)$ is likewise necessarily a Moufang loop and attempt to explain why the proofs are so different in complexity.