Scott Garrabrant comments on Asymptotic Logical Uncertainty: Connection to Random Logical Extensions.

[Scott Garrabrant]

That’s right. Or, it was right until just now when I fixed the notation to $s\left({\psi }_n\right).$ Thanks.