A v X
B v Y
B v X
A v Y
A; B v X; Y