0 -> x
x + y -> I
I -> y
y -> 0
y -> 0
0 -> z
z -> 0