User blog comment:Wythagoras/All my stuff/@comment-7484840-20130708083606/@comment-1605058-20140715171237

As long as I live I haven't seen good definition of "rule", but nevertheless for explicity this can be fixed by H_X(n)=H_X[n](n+1) for X>0 and H_0(k)=k. So now it's 5 recursive rules.