Considering following lambda term, (x. z. y. x y y z) (x. x x) y

1. Try to rename variables in the following expression so that all bound variables have different names, based on the following rule

Rule: Whenever seeing a term lambda x. M, x can be changed to a new variable y, as long as y is not already as a free variable in M, and all the variables bound to x are replaced with y.

2. Evaluate the lambda term to its normal form