 tens of millions of dollars going to Islamist groups. It grew significantly under Obama. It quadrupled under Trump. It's reduced a little under Biden, but it's still very significant. And really, for the last few years, we've been telling people that the federal government is really the largest single funder of lawful Islamism in the West. So can we—