53でlatの再帰、4で数の再帰、5はリストの再帰。ここで第1の戒律、第4の戒律が最終版に。アトムのリストlatの場合、数nの場合、S式のリストの場合の再帰の掟が決まる。l)のいずれかの上で動くから、3つ質問をする。equal?を定義したequal?を使って任意のS式とリストを取るremberに書き直した第6の掟「関数が正しいときのみ簡素化せよ。書いてて今までの章よりも関数のcondが多かった印象。eqan?以外の関数の中のeq?や=に関してはequal?で一般化出来る。最初はアトムから始まり、cons、lat・数・リストの再帰と来てなんだか少しずつ扱えるデータが増えてきたような。equal?とより多くのデータを扱える関数を使ってremberを定義しなおしたり、面白い!equal?を使う事で処理が簡素化出来て理解しやすくなった。p91の注に出てくる話(andもorもcondの省略形として書く事は出来る)がちょっと発想の転換な気がして面白かった。