>>976
予想はそれでいい。

> Without (define...)
defineがなければ、
> nothing could refer to length.
誰もlengthを参照することができない。
> and especially not the body of length
lengthのボディからさえ参照することができないのだ。

and以下はnothingに付けられた修飾節。
誰も参照することはできないし、
今特に問題にしている再帰的定義のための、
λ式本体からの自分自身への参照も出来ない。