I think this is the right thinking. While some people might distinguish between Grok as the product and Elon Musk as the owner of the product, the net effect is, like you said, very negative. And Grok has not been gaining traction, especially after their Grok build fiasco.