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