For the lambda-calculus term (lambda x, lambda y, x y)(lambda x, x y). (a). Calculate its free variables using the FV function. Show the steps. Note that "x y" stands for a function application applying x to y. (b). Use lambda calculus reduction to reduce the expression to a normal form. Begin by renaming bound variables and show every step. (c). Describe what goes wrong if you do not rename bound variables