Prioritizing Deductions