Icon
 

Potential functions for amortized analysis