1. (5 points) For the lambda-calculus term ax. ?. x) (Az.)) (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. 1. (5 points) For the lambda-calculus term ax. ?. x) (Az.)) (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