3. [1.5 marks] In this question, we consider the interpreter based on context and closure. Notationally, we will use {x1 V1, ..., xm Um} for context and [Fn, CT] for closure, where Fn is a lambda function and CT is a context. We assume that the initial context is CTO. Consider the following A-expression: (((lambda (xy) (lambda (z) (if (> x y) (+ x z) (+ x y)))) 45) 10) What is the result of evaluating this expression? What is the last context created during this evaluation? Please provide some sketches of how you arrived at your answer.