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