Definition deduction