es3


Una possibilità è la seguente: 

  (\vwx.(z\z.x))(x\y.(y(\t.z)yy))