User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-1605058-20130620172630

There is tiny gap between rules A3 and A4. Neither of them specifies n=1 and there is no case for a*1 and a^1. Removing restriction n>1 in A3 solves both cases.