C + R -> RC
0 -> C + R
RC -> 0
C -> 0
0 -> C
0 -> A_T
A_T -> 0
0 -> R
R -> 0