For the lambda-calculus term (?x. ?y. x) (?z. y).

(a) (2 point) Calculate its free variables using the FV function. Show

the steps.

(b) (2 point) Use lambda calculus reduction to reduce the expression to a normal form. Begin by renaming bound variables and show every step.

(c) (1 point) Describe what would go wrong if you did not rename bound variables.