Joe_Collman comments on Asymptotically Unambitious AGI