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

This is because omega+1 is itself an expression, even though it is proper, sum of proper expressions doesn't always leads to unproper. So alpha_p must be only the ordinal without +'s.