'λx''.(''E''₁ ''E''₂)
   HOME
*