0 -> x
x -> u
x -> 0
0 -> u
u -> y
u -> 0
y -> 0
y -> 0
0 -> z
z -> 0