 It seems natural to suppose that the first conditional credence is high and the second is low, by the description of the Mudrunner Case. The annotations in the above equation imply that \(\Cr(\mathsf{win})\) must go up. This is how Jeffrey conditionalization accommodates the Mudrunner Case.