X : X+Y+~Z
Y : X 
Z : X
