 Hedden calls attention to this assumption, which he terms Negation Coherence, noting that it follows from the claim that credences satisfy finite additivity and normalization (Hedden 2013). The premise of the DBA that connects credences with fair betting quotients thus presupposes a significant part of the probabilist’s claim.  