R1: M1 + M2 => M3 + M4
R2: M4 + M6 => M3
R3: M4 + M5 <=> M6