Rewrite the complete λ expression below after having α-converted (using the variable "a") the λ abstraction whose binding occurrence is underlined. In your answer, use the character "^" to denote the character "λ".
Recall that to α-convert a lambda abstraction, you must first identify all of the variables in its body that are bound to its binding occurrence.
Remember to write down as your answer the whole lambda expression, including the lambda abstraction that you are α-converting, not just the latter.
Make sure to use "a" for the name of the new variable. In this exercise, you are not allowed to pick any new variable name.