PR04: Other Deduction Enhancements