How is Turing's theta combinator related to the article? I'm not very familiar with functional programming concepts.