July 3, 2025

retiring early