a
= a
{scope}
Write $N=a+b+c$ for the conserved total number of tokens. The main case has positive integer initial holdings. If an initial holding is zero, take $\tau=0$; the formulas below still hold when $N>0$. If $N=0$, the <stochastic process> is constant and $\mathbb E[\tau]=0$.