Enter the λ-calculus expression that results from one β-reduction. Repeat this step until no more reductions are possible. When entering your answer for each step:

1. Always pick the correct β-redex according to the applicative-order reduction strategy.
2. Use the character ^ instead of λ.
3. Whenever you have to perform an α-conversion, always pick the first lowercase letter in alphabetical order that does not appear in the current expression (i.e., "a", then "b", etc.).