β-redex comments on Petrov Day Retrospective: 2022