 The DBA itself begins with the so-called Dutch Book theorem, which concerns the conditions under which a set of bets guarantees a net loss to one side, or a Dutch Book. With de Finetti, it is here assumed that a bet on a proposition \(H\) is an arrangement that has the following canonical form: