Daniel Kokotajlo comments on How to formalize predictors