Deduction Problem