alex lawsen (previously alexrjl) comments on My argument against AGI