X0 : (~X2)
X1 : (X0)
X2 : (X1)(~X0)
