 It is not incoherent but it is baldly counterintuitive to suppose that the subject should have degree of belief x when she believes that her so believing is an indicator that the objective probability of q is not x, and a principled argument can also be made to this effect (Roush 2009). Unpacking the condition \(P(q)=x \amp \PR(q\mid P(q)=x) = y\), it seems to say that my credence is x and when my credence is x the objective probability is y, inviting us to discharge and infer that the objective probability is y. If  so,[7]  then the expression would reduce to: