User blog comment:Scorcher007/Large countable ordinal notation up to Z2 and ZFC/@comment-11227630-20181121071343/@comment-31580368-20181124031010

Now working on nonprojectable limit of nonprojectables leves. And according to my notation, this level is very, very large.