Unnamed comments on [missing post]

[Unnamed]

Here, thanks to Gwern.

[LawrenceC]

Thanks!