Keltham will now go up to the wall and spend a bit of time figuring out how to derive the rest of the Rule of Succession, mainly found in that equation where there's no simple or obvious way to prove it using calculus known to anyone in this room anyways.
Thankfully, they know what all the correct answers have to be! Using much simpler combinatoric arguments, about new balls ending up randomly ordered anywhere between the left boundary, all the LEFT balls, the 0 ball, all the RIGHT balls, and the right boundary.
Keltham is in favor of people understanding things using calculus and continuous distributions, to be clear. So long as they can also understand the ideas in terms of a countably infinite collection of individual hypotheses each with probability 1/INF. You don't want to start identifying either representation or methodology of analysis with the underlying idea!
Which is just: a metahypothesis where any fraction from 0 to 1 seems equally plausible on priors; those get updated on observations of LEFT and RIGHT, that have different likelihoods for different propensity-fractions; the allocation of posterior probability over fractions changes and gets normalized back to summing to 1; that changes the new predictions for LEFT and RIGHT on successive rounds, having updated on all of the previous rounds.