Vladimir_Nesov comments on MIRI’s July 2024 newsletter