We had an excellent buyer (Citizens), which has been terrific for Pittsburgh. And they paid a fair price.
The deferred compensation pay is completely unrelated to his departure. It would have been paid out to him anyway.
There's nothing in what he's receiving that strays from the terms of his long-standing contract. It's in line with market standards.
He's not getting a penny he's not owed, and there's been no sweetening of his contract. His contract was in line with market standards. There's nothing unusual about it.