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