IrenicTruth comments on Challenge to the notion that anything is (maybe) possible with AGI