A + gB -> AgB
AgB -> A + gB
0 -> rB
0 -> rB
rB -> 0
0 -> A
A -> 0
0 -> B
B -> 0
A + B -> AB
AB -> 0