Comment by prima-facie

> all of us in math and theoretical computer science and mathematical physics, ... are now in the same boat.

The most important takeaway from this is that mathematicians finally consider us CS grunts their equals.