No.10824354 ViewReplyOriginalReport
has deduction and induction been killed off by heuristics?