Four rules of the art of deduction