That's why I said "if". And that's a lot more plausible than an AGI.