We're switching to grok 4.