Hot: deduction