Ben Livengood comments on The basic reasons I expect AGI ruin