User blog comment:Vel!/Miscellanous ordinal extensions/@comment-5529393-20130315210650

Unfortunately, you can't necessarily subtract three from an ordinal, for example look at M_{omega^2}(n) for any n.