Adam Shai comments on Simplex Progress Report—July 2025