distributivity

not defined yet