 And unfortunately, innocent people got killed. Now, the ruling that was written with the majority was if it's an official act of business. So if we were to take, say, George W. Bush, right? So this is not even a controversial president. So George W. Bush now, okay? And we decided we were going to execute him.