Reuters reports that Elon Musk’s annoying chatbot, Grok, is now being used by the U.S. government. While the extent and nature of that usage is unclear, sources interviewed by the news outlet have expressed alarm at the implications of the chatbot’s access to government data.

Musk, in one fell swoop, undermined the entirety of the budget plan and essentially made Johnson out to be a liar — if you believe Musk, who no longer has a reason to play nice in Washington.