 Thus, we have the substantial components of Joyce’s argument: Credal Veritism, Joycean Inaccuracy, and Naive Dominance. From these, we can derive Probabilism via the following mathematical theorem Joyce (1998: 597–600):