add teddy bear programming (nandb) and start on chapter 2 (why can't it unify with reflexivity?