User blog comment:DrCeasium/Hyperfactorial array notation: Analysis part 2/@comment-7484840-20130530171941/@comment-5529393-20130531155438

My last question in the previous comment was referring to the fact that @_3 is removed from your array, which seemed like a mistake.

So you always go to the earliest array that has a non-1 before the k+1st separator, and work on the array to the left? What if there are no arrays that have a non-1 before the k+1st separator?

What do you mean by "when the brackets are nested"?

Perhaps an example is in order here. Could you please reduce the expression [1] w/ [1,1,2] all the way?