added distributive law