Keyword: deduction