Misha Ramendik comments on Open Thread—Summer 2025

[Misha Ramendik]

Thanks! Very useful