Hume's first fork concerns the epistemic status of propositions, not the performance guarantees of c...