Robert Miles comments on Formalizing the “AI x-risk is unlikely because it is ridiculous” argument