That may be true, but it's the farthest thing from a "failed company", even if you assume Grok never gains a market foothold. I don't know why you would assume that, though.