// probability a player wins at least one of k rounds <>Pmax=?[F win=1 & rounds<=k ] <>Pmax=?[F win=2 & rounds<=k ] // expected utility of a player over k rounds <> R{"utility1"}max=?[F rounds=k ] <> R{"utility2"}max=?[F rounds=k ]