A + R -> C A -> EmptySet C -> R R -> EmptySet A + DA -> DAp DAp -> A + DA DA -> DA + MA DAp -> DAp + MA MA -> EmptySet MA -> A + MA A + DR -> DRp DRp -> A + DR DR -> DR + MR DRp -> DRp + MR MR -> EmptySet MR -> MR + R