Simple distributivity

Information: Simple distributivity