“In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory.”