In Section 3.2.2 of SICP the execution of the following piece of code
(define (square x) (* x x)) (define (sum-of-squares x y) (+ (square x) (square y))) (d
The answer to both questions is yes. That chapter of SICP is explaining lexical scope without actually using the term. Changing the evaluation mechanism as you describe would create a dynamically-scoped model.