User blog comment:Flitri/An ordinal Collapsing up to the Least weakly Mahlo Cardinal/@comment-35470197-20190409053305/@comment-35470197-20190410011429

Ok. Also, I added a detailed explanation on the reasons why we need normal forms to defined OCFs, ordinal notation systems, and fundamental sequences in my blog post. Maybe it is helpful for you.