L + R -> RL RL -> L + R 0 -> R R -> 0 Gbg + Gd -> G G -> Ga + Gbg RL -> 0 Ga -> Gd