Deduction might mean: