 Well, sure, and a lot of progressives, as you've heard, have been encouraging Justice Sotomayor to resign. I mean, she's in her 70s now, and she may be getting to that age. Her health doesn't look that great. But you remember Justice Ginsburg. We had the same conversation. People had the same conversation saying she should resign before the Hillary Clinton-Trump election cycle because what if Trump was elected? And I guess Justice Ginsburg didn't think that was a possibility.