User blog comment:ArtismScrub/Applying Cascading-E logic to up-arrows/@comment-11227630-20180101233459/@comment-5529393-20180102011556

I don't know about that. a↑(↑)↑...↑b is at omega^n, but a↑(↑)↑(↑b)c recurses down to a↑(↑)↑(↑0)a after b recursions, which I presume will be something like a↑(↑)↑a, which is at level omega. So a↑(↑)↑(↑b)c will be at omega+b, and a↑(↑)↑(↑)↑b will be at omega*2. So that part needs to be improved.