Aren't they supposed to use Grok instead?