Programs, recursion, and unbounded choice | lit.salon