The art of deduction definition