Amortized Analysis as a Cost-Aware Abstraction Function | Heykuki News