Auto Deduction For Over 6000