chapter 9 and y-combinator