X = 0,
Y = 1; Z = 1 [ X < 0 | 
               Y < 1 | Z < 1 ]
