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

thanks for your review. rule s5 is in fact the same as s3. I have deleted s5. I am confusing myself in places. your review really helps.

cheers. B1mb0w