deduction [reasoning]