Abstract:We show that group conjugation generates a proper subvariety of left distributive idempotent groupoids. This subvariety coincides with the variety generated by all cancellative left distributive groupoids.
 Keywords: left distributivity, free group 
 AMS Subject Classification: 20N02, 20A99