#A = (a,4).(b,5).A; #B = (c,6).(b,7).B; // should go at rate 5 on cooperation A B