 You're exactly right. No, and these are, by the way, things that will be happening in August. Right now, it's planning on being done by August 17th. I guess DOJ could still come in and push that off another month, but I think right now it'll be done. I don't think they're likely to do that. They want it done. No, but the last couple contracts that I've seen...