const int k; // time bound // each player wants to maximise the expected number of messages sent in k steps <
>max=? (R{"r1"}[C<=k] + R{"r2"}[C<=k]) // each player wants to maximise the probability of sending a message <
>max=? (P[F s1=1] + P[F s2=1])