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

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