X : (X)(~Y)
Y : (X)(Y)
