PLS HELP

5 Reductions and variable capture [10pts] Reduce the following lambda calculus expressions to normal form, showing all steps. Circle your final answer. You may also use -conversion, when necessary. 5. [2pts] Let SKI=xyz.xz(yz)=xy.x=x.x Reduce SKS using either call-by-value or call-by-name (specify which one), and give your answer in terms of S,K, and/or