ラムダ計算に関する質問〜Redex, 自由変数、束縛変数〜

Question

①全てのRedexに下線を引く
②自由変数を⚪︎する
③各束縛変数から対応する束縛変数へ矢印を書く

上記3点を下記ラムダ計算にて反映したいです。

1. (λz.((λx.yx)x))((vλz.λw.v)zw)
2. x(λx.x)((λy.(λx.x)y)x)

自分なりの回答は下記です。もしどなたか見ていただけるようでしたら、回答が合っているか教えていただきたいです。

1.①全てのRedexに下線を引く
計3つRedexがあります
1) λz.((λx.yx)x))((vλz.λw.v)zw
2) (λx.yx)x
3) (vλz.λw.v)zw

　②自由変数に⚪︎をする
計2つ自由変数があります。
1)(λx.yx)x)内のy
2)(vλz.λw.v)内の最初のv

　③各束縛変数から対応する束縛変数へ矢印を書く

2.①全てのRedexに下線を引く
計3つRedexがあります
1) x(λx.x)((λy.(λx.x)y)x)
2) (λy.(λx.x)y)x)
3) (λx.x)y)

　②自由変数に⚪︎をする
計2つ自由変数があります。
1)一番最初のx
2)最後のx

　③各束縛変数から対応する束縛変数へ矢印を書く

画像が見えづらくすみません。
自由変数を選択する問題が特に自信がありません。

どうぞよろしくお願いいたします。