X : ~X Y
Y :  X
