Ofer comments on Asymptotically Unambitious AGI