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