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