cveres comments on My argument against AGI