a -> 0
0 -> b
b -> 0
b -> 0