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