(5 points) For the lambda-calculus term (Ar. Ay. x y)(Ax. xy). (a) (2 point) Calculate its free variables using the FV function. Show the steps. Note that "r y" stands for a function application applying to y. (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 goes wrong if you do not rename bound variables.