Simple distributivity