Left distributivity