📝 publish a preprint about amortized analysis via coinduction in calf