add htdp chapter 5