Overview of different sub1 recursion patterns