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