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