User blog comment:MilkyWay90/Why the inactivity?/@comment-36584283-20180923063600/@comment-31966679-20180923150407

Maybe some people are, but the people who know more math on this site (like PsiCubed, or PiBot) will leave smaller functions/ordinal notations/etcetera as a side while working on a big function (for example, Syst3ms was working by steps to make UNOCF well-defined, and releasing blog posts every time he tried to make it well-defined.)