Esi Pf Deduction Rules