A->|xB,B->yA. xyxy.