symbol `LENGTH`. Technically, it has the status of an unbound
variable.
+<a id=little-h></a>
Imagine now binding the mysterious variable, and calling the resulting
term `h`:
BODY M <~~>
...
-You've written an infinite loop!
+You've written an infinite loop! (This is like the function `eternity` in Chapter 9 of *The Little Schemer*.)
However, when we evaluate the application of our: