Ron Graham has died
Wow, I didn't know this was the same Graham as the Graham's Number[1].<p>[1] <a href="https://en.wikipedia.org/wiki/Graham%27s_number" rel="nofollow">https://en.wikipedia.org/wiki/Graham%27s_number</a>