Question about deduction