TAG comments on The basic reasons I expect AGI ruin