Isn't Grok part of the IPO?