Two forms of recursion