Meanwhile, one of the newer researchers has worked out that, in the earlier formula:

0/10 * 0  +  1/10 * 1/4  +  2/10 * 2/4  +  3/10 * 3/4  +  4/10 * 1

...that first term 0/10 * 0 has the 0/10 subterm representing "The probability that the proportion of RIGHTs are zero, given that the first ball landed RIGHT" and the 0 subterm representing "The probability that ball 2 lands RIGHT, given that the proportion of RIGHTs are zero."

Meanwhile, one of the newer researchers has worked out that, in the earlier formula:

0/10 * 0  +  1/10 * 1/4  +  2/10 * 2/4  +  3/10 * 3/4  +  4/10 * 1

...that first term 0/10 * 0 has the 0/10 subterm representing "The probability that the fraction of RIGHTs is zero, given that the first ball landed RIGHT" and the 0 subterm representing "The probability that ball 2 lands RIGHT, given that the fraction of RIGHTs is zero."

<details>
<summary>Parenthetical class chatter</summary>Meanwhile, one of the newer researchers has worked out that, in the earlier formula:

0/10 * 0  +  1/10 * 1/4  +  2/10 * 2/4  +  3/10 * 3/4  +  4/10 * 1

...that first term 0/10 * 0 has the 0/10 subterm representing "The probability that the fraction of RIGHTs is zero, given that the first ball landed RIGHT" and the 0 subterm representing "The probability that ball 2 lands RIGHT, given that the fraction of RIGHTs is zero."