distributiveness

not defined yet