Greg_Colbourn comments on My argument against AGI