TsviBT comments on Types of recursion