Hot: amortized