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 λ 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 λ expression, including the λ 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.