Deduction, context support