L + R -> LR
LR -> L + R
CA + LR -> LRCA
LRCA -> CA + LR