. "In a game such as Texas Hold'em poker, a player out event may occur when a player wagers all their tokens in a round of play, i.e. goes all in, and does not win any of the pot." . . .