alex lawsen comments on My argument against AGI