Esi And Pf Deduction Rules