Anders_Sandberg comments on 9/​26 is Petrov Day