User blog comment:Koteitan/Explanation of BMS mechanism by the row-wise ordinal notation and its greedy extension/@comment-30846880-20180402174434

Original pair sequence system and BMS ignores the rows which the rightmost column has lower zero. That rule sometimes grows the bottom ordinals and it prevents the bottom row from reducing in ε_0 speed.