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