Question 4 (Beta reduction and alpha renaming). For each of the following expressions, give the resulting redex after the highlighted redex is reduced. If there is need for renaming, you should break you answer into two parts. In the first part you do the renaming and in the second part you do the beta reduction. In all cases, you should highlight by using bolface the whole part of the result that corresponds to the redex after it is reduced. Also, if alpha renaming is needed, you should highlight the whole redex with the par that is renamed.

1. (λx. x x)(λx. x )
2. (λx. x x)(λx. y )