User blog comment:Ikosarakt1/Formal definition of tetrational arrays/@comment-5529393-20130329075222/@comment-5529393-20130330024628

The idea is that if you have X^A & b[p] where A is not a successor structure, you apply the rules to the exponent. Perhaps that should be X^{A & b[p]} ? I'm not sure how to make it work, but you need some way to deal with something like X^{X^3 + X^2} - right now none of the rules handle it. I don't understand your new rule A7.