Moufang identities

  1. REDIRECT Moufang loop