0 -> X_1
X_1 -> X_2
X_2 + X_3 -> X_4
X_4 -> X_3
X_2 -> 0
X_1 <-> X_3