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

Maybe this doesn't define all possible combinations for all ordinals, but it doesn't prevent us to handle f_w*2(n). I just don't see that plugging proper ordinal into my rules can't lead to unproper.