Text this: Programs, recursion and unbounded choice :