[impl] product distributivity