\z.\z3.(\x.\y.x)z z3