Left-distributive

Summary