induction vs deduction abduction - Search