I mean thank God. At least he's not going to be head of the doj. That would have been a massive disaster. I guess we have to think about who's coming next in that role