 They run things by default. So they've been very happy with the situation with Joe Biden for the last few years until, of course, the public can see what's really going on here. We don't really have a president.