The most intriguing discovery of Computer Science: the Y combinator demystified.