Felix C. comments on An artificially structured argument for expecting AGI ruin