\z1.\z.(\x.\y.y)z z1