User blog comment:Ikosarakt1/Ideas of going past psi(K)/@comment-24509095-20140618162245

Somehow, when you define higher and higher cardinals, the notation becomes more and more complex. So getting to Loader's ordinal was harder than I thought!