3. (Alpha Renaming) For each of the following redexes, do alpha renaming if it is needed before reducing the redex. If renaming is not needed, you should say so. You should highlight the renamed variable(s) in your answer. This question is only about renaming. You should not do the beta reduction, Example 1 Answer no renaming needed Example 2 (ay. Az x y Aw. 2)(x y z w) Answer (Axudv. u Aw. )(x y z w) Example 3 dy. 12. x y Aw. z)(x2)( w) Answer (Ax. iy. Av. x y Aw. v) (x ) ( w) (ay, az. y))(x2) 3.2. (ay, x) (Az. x y z)) (y) 3.3. (A Ay, . Xy . .)(yz) 3.4. lyly, ax. 12. xyz) (xyz) 3.5. 12. xyz) (y. Azyx)