Adding prod rule