Pošljite SMS: Logic, sets, and recursion