Three bet, three betting To be the first player to put in a third unit of betting. Similarly Four betting, Five betting, etc. Three of a kind See main article: three of a kind. Also trips, set tight To play fewer hands than average for the game or for the player normally. See loose/tight. In poker, the term 'three-bet' is the same as saying 're-raise'. A player raises on the button. That's the second bet or 'two-bet'. After that, there is a re-raise.
We specify the game in gtree as follows:
To better understand the definition and to check whether we have correctly specified the game, it is useful to take a look at the outcomes:


| card1 | card2 | cb1 | cb2 | fc2 | fc1 | folder | winner | gave1 | gave2 | pot | payoff_1 | payoff_2 | util_1 | util_2 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | 2 | check | check | NA | NA | 0 | 2 | 1 | 1 | 2 | -1 | 1 | -1 | 1 |
| 1 | 2 | check | bet | NA | fold | 1 | 2 | 1 | 2 | 3 | -1 | 1 | -1 | 1 |
| 1 | 2 | check | bet | NA | call | 0 | 2 | 2 | 2 | 4 | -2 | 2 | -2 | 2 |
| 1 | 2 | bet | NA | fold | NA | 2 | 1 | 2 | 1 | 3 | 1 | -1 | 1 | -1 |
| 1 | 2 | bet | NA | call | NA | 0 | 2 | 2 | 2 | 4 | -2 | 2 | -2 | 2 |
| 1 | 3 | check | check | NA | NA | 0 | 2 | 1 | 1 | 2 | -1 | 1 | -1 | 1 |
Look at the first row. We see from cb1 and cb2 that this corresponds to an outcome in which both players check. The variables fc2 and fc1 take NA values because there is no decision to fold or call if both players check.

Formulas in the game definition will be internaly evaluated in a vectorized fashion over similar data frames and may take NA values. The helper function is_true takes a logical vector and replaces NA values with FALSE. I use this function in the game definition where a condition must evaluate to either TRUE or FALSE while NA values are not allowed.
You may also take a look at the definition of card2 in the first stage. Here the set of the random variable is a formula and depends on the previously computed value of card1.
Let us also take a look at the game size:
While the number of pure strategy profiles is not really small, the game still seems of tractable size for numerical analysis.