We now describe the gambling formalism we take in this paper, which we adopt from [1]}, [2]}, [3]}, [4]}.
Most of the following exposition can be also found in [3]} and [3]}, but we also include new arguments such as the converse part of Corollary REF .
