User blog comment:B1mb0w/Recursion and Summation Functions/@comment-35470197-20190325065908/@comment-10262436-20190325084600

well spotted. I think rule s4 was a complete typo. Have removed it, and re-named Rule s5 as s4 instead.

cheers