  We give a general method for constructing a deterministic strategy of Reality
from a randomized strategy in game-theoretic probability. The construction can
be seen as derandomization in game-theoretic probability.
