 Well, we think about it as much as I like him personally, and it's not my responsibility to tell the story of his accomplishments. I do think, and this is hard for any president to hear, he has had more legislative accomplishments than like any president in modern history, right? He's done a lot of things that are hugely impactful. Of course you want to tell that story, and those were hard things to get accomplished. To me, now is not the moment for it.