šŸ“ publish a preprint about amortized analysis via coinduction in calf