Shmi comments on What math is essential to the art of rationality?