Auto Deduction 2024