Mitchell_Porter comments on Simpler explanations of AGI risk