Short deduction
More