Where is Ross Stevens on this? Is this beneath his dignity to reprimand this anti American Olympiad? Or too much money to lose?
I have no clue. He doesn't even have a Wikipedia page.