User blog comment:Edwin Shade/Understanding The Infinite/@comment-32213734-20171109082956/@comment-32876686-20171110043246

I believe it works when $$\beta$$ is a limit ordinal, but not when it is a successor; though I could be wrong.