When Pf Deduction Is Applicable