RussellThor comments on An artificially structured argument for expecting AGI ruin