Matthew Barnett comments on An artificially structured argument for expecting AGI ruin