Changed comments in FabulousMultiPlayer2 to no longer claim optimality.