I attended Taming the Infinite: Logic, Algebra, and Constructive Mathematics, Verona (Italy), 20 April 2026.