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

For w+1, the rule M2 will be executed, since it is a successor ordinal. As for 2w, it is unproper ordinal, and it mustn't be executed.