jsteinhardt comments on What mathematics to learn