// 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 ]