The first change is that our recursive Evaluate_Expression procedure now takes 2 arguments: the Abstract Syntax Tree--and the environment because we've just established that the meaning of an expression depends on the context in the World--depends on the environment. 