 Posterior replacement probability after different-colour draws

An urn has $N$ balls, including $K$ of one colour and $N-K$ of the other, with $0<K<N$. After a uniform first draw, an independent decision returns that ball with probability $r$; the second draw is uniform from the remaining contents. Let $B_j$ mean the $j$th draw has the first colour and $R$ mean replacement. The two relevant joint probabilities areApplying Bayes' theorem and cancelling the common factors gives the displayed conditional probability. It is independent of $K$ and satisfiesTwo different observed colours therefore decrease the posterior probability of replacement: removing the first colour makes the second more likely. The replacement decision must be independent of the first draw for this formula; its marginal probability alone does not specify the model.