0 -> R R -> 0 L + R <-> C C -> 0 C + I <-> X X -> A + C X -> 0 A -> 0 0 -> I I -> 0