Charles He comments on My argument against AGI