P * a Pf