// each player tries to maximise their expected utilities 
<<agent1:agent2:agent3>>max=? (R{"r1"}[F s>=5] + R{"r2"}[F s>=5] + R{"r3"}[F s>=5])

// each player tries to maximise their expected utilities (over a bounded number of rounds)
<<agent1:agent2:agent3>>max=? (R{"r1"}[F s>=5 | r=rmax] + R{"r2"}[F s>=5 | r=rmax] + R{"r3"}[F s>=5 | r=rmax])

// each player tries to maximise the probability the=y get the secret
<<agent1:agent2:agent3>>max=? (P[F n1=3] + P[F n2=3] + P[F n3=3])

// each player tries to maximise the probability the=y get the secret (over a bounded number of rounds
<<agent1:agent2:agent3>>max=? (P[F n1=3 & r<rmax] + P[F n2=3 & r<rmax] + P[F n3=3 & r<rmax])