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