Mateusz Bagiński comments on AISC team report: Soft-optimization, Bayes and Goodhart