Stuart_Armstrong comments on In SIA, reference classes (almost) don’t matter

[Stuart_Armstrong]

You are correct, I dropped a $R\left(U_i\right)$ in the proof, thanks! Put it back in, and the proof is now shorter.