Shmi comments on Types of recursion