Right distributivity