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