Deduction games