 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.