z->x->y
z->y
