Deduction And Abduction