Facts about recursion