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