🗣️ give a talk at CMU PLunch: Coinduction and Amortized Analysis