more distributive laws