A->xB
B->yA
A->xB
B->yA
A->