ErickBall comments on Asymptotically Unambitious AGI