Pf Deduction Rules