 One might have hoped that the “conditional” premises CI and CC are jointly justified for at least some conditionalisation, i.e., some suitably designed facts variable \(\mathbf{x}\). Then the Conditional Jury Theorem would rest on justified premises, and we could trust its conclusions. But a dilemma arises: