 you know, and they've been a problematic company for us for a long time, going back to 2008. And they can never quite get their finances together. They had some ill-fated mergers and acquisitions that never quite worked out. And sometimes, as we all know, the ones that end up paying the price are the people that work there, you know. So we've had some issues for a long time. And I think at the end of the day, they just said, look, this company's