User blog comment:Alemagno12/An extremely fast-growing OCF/@comment-5029411-20170726203426/@comment-25601061-20170727213451

I am going to redefine L in another way, using limits instead of omega-limit ordinals.