Text this: Logic, sets, and recursion /