Prod_P.