w2
merge w y w2, R2->M