flesh out more of "Amortized analysis" post