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.