Went to Iowa to present our paper Datapath Verification via Word-Level E-Graph Rewriting at FMCAD 2023! A great conference with lots of interest in the work, many thanks to the organizers.