前半はあまりコメントするところがないが、p.250の最後の"栞"はなんのこっちゃであって、ここでいう"bookkeeping"とは、全称化の規則で（次の図式はただの推論の図）、"ただしは自由変数記号でには現れないものとする。"というこの”ただし”以下の付帯条件を…