User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-5529393-20130619110333/@comment-5150073-20130620150921

I generalized rule A1 so that it handles any ordinals, not just 1 and w. I believe it must eliminate unproper expressions even though they still remain.