Jack R comments on Worse than an unaligned AGI