(let ((a 10) (b 11) (c 12) (d 13)) (letrec ((g (lambda () (+ a b c d))) (f (lambda (a b c d) (g)))) (f 1 2 3 4))) ; With static binding: 46. The result in Scheme. ; With dynamic binding: 10. The context of *the call* of g is significant.