> A third possibility would be to pass the SQRT function as an argument to QUAD (don't laugh!)

:)

I was excited to see the heading "3.3.1 Free (Global) Variables", considering the amount of work people do to avoid those (interpeters and runEnv and so on), but it seems they end up using top-level bindings and assignments …