User blog comment:DrCeasium/Hyperfactorial array notation: Analysis part 2/@comment-5929355-20130527085720/@comment-7484840-20130527092217

It's not that it uses a lot of steps that makes it powerful. The main thing that gives it power is the arrays not always evaluating, allowing it to work like ordinals in the FGH. As for Bowers, I don't know, but I don't think he's dead.