July 2, 2025

simplifies