; g is now at the outer level.




(let ((g (lambda (h)  
           (lambda (n) 
             (if (= n 0) 1 (* n (h (- n 1))))))))
  (let ((i (lambda (f)
               (lambda (n)
                 (let ()                 ; NOW GET RID OF EMPTY let
                   ((g (f f)) n)) ))))
    ((i i) 5)))