(Solved): Fully beta reduce the following \[ (\lambda \mathrm{e} \cdot \lambda x \cdot \lambda \mathrm{y} \c ...

Fully beta reduce the following \[ (\lambda \mathrm{e} \cdot \lambda x \cdot \lambda \mathrm{y} \cdot \mathrm{b}(\mathrm{abc}))(\lambda \mathrm{a} \cdot \lambda \mathrm{i} . \mathrm{ai}) \] b \[ \lambda x . \lambda y . b(a b c) \] abc \[ \lambda \mathrm{y} . \mathrm{b} \]