 They'd have been carjacked. I think we can say that. Or if they shot him, would they have been charged? Right? Well, you remember the off-duty, they didn't say it was a police officer, but they said off-duty, some type of officer shot the 13-year-old kid down in D.C. trying to carjack. But he was in law enforcement. He was some type of law enforcement. We don't know.