https://news.ycombinator.com/item?id=33078012
https://terrytao.wordpress.com/2022/10/03/what-are-the-odds/