Simple distributivity
Information: Simple distributivity