 So the president has, I think, an amazing list of options. You mentioned a whole list of other people that have experience as governors, which is an experience that, as you know, I respect a lot. I worked for Governor Ducey for 80 years. And I can see what governors go through, the handling the pressures of the legislature and the balance of that and governing and being accountable and responsible for things immediately before constituents and focusing on an issue.