What is the art of deduction