July 15, 2025

notation