Mateon1 comments on LW Petrov Day 2022 (Monday, 9/​26)