User blog comment:Wythagoras/Dollar function part 2/@comment-5529393-20130613081046

Your rules seem to be incomplete;  rule 8 is just for brackets of level 1, while rule 9 is just for arrays of the form [0,0,...,0,1]_(b+1). What about an array of the form [X]_b where b > 1 and X is not of the form 0,0,...,1?