mingyuan comments on Honoring Petrov Day on LessWrong, in 2019

[mingyuan]

Oh wow, I did not realize how ambiguous the original wording was.