Section 6.9.7 mentions the procedure closure?, but doesn't document it (with procedure? and thunk?).  (Very minor issue.)

Dave