User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-1605058-20130629142358/@comment-1605058-20130629175521

Another problem is that m-1 is undefined for limit ordinals, so the way you stated it isn't generally valid.