Creutzer comments on Types of recursion