And to be clear, I think the budget that House Republicans have proposed, which is about a $325 million cut to the FBI, would do precisely what you've described and have deleterious impacts for public safety across our country.