 We didn't. And in many ways, yes, we've been focusing on Joe Biden. But rest assured, the discussion is going to come up. Donald Trump is 78 years old. He's going to be 80 before he's two years into his administration. If he wins, think about the implications of that.