shminux comments on How valuable is it to learn math deeply?