add htdp chapter 4