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

n=0 must be handled under rule A4, so I changed the condition in rule A3 to n>0.