User blog comment:B1mb0w/Recursion and Summation Functions/@comment-35470197-20190405011534/@comment-35470197-20190405034855

> do you mean rule s5 ? there is no rule r5.

Oops. Right.

> I have deleted s5

Ok. I see.