Make amortization algorithm precise.