product.normal.form product.product