// maximum probability a player eventually wins a rounds
<<player1>> Pmax=? [ F win=1 ]
<<player2>> Pmax=? [ F win=2 ]

// maximum probability player wins a round first
<<player1>> Pmax=? [ win!=2 U win=1 ]
<<player2>> Pmax=? [ win!=1 U win=2 ]