0 -> C C -> 0 C -> 0 0 -> M M -> 0 0 -> X X -> 0 C + Y -> Z Z -> C + Y Z -> C Z -> Y 0 -> Y Y -> 0