User blog comment:Googleaarex/SGH Functions/@comment-5029411-20130406231045/@comment-5150073-20130407081854

When alpha is a transfinite ordinal (not a successor structure such as w^2+w+3), I believe that alpha-1=alpha.