1.6.3.2 Auto deduction