Gurkenglas comments on Types of recursion