New Abstract! From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs will appear at EGRAPHS 2026, if you’re heading to PLDI my co-author Cheng Zhang is guaranteed to give an unhinged talk.