The product rule