Deduction, Induction and Exclusion