 They have a lot of problems to deal with. We have nothing to celebrate until we see this thing through and elect Donald Trump as president to give Republicans or, I guess, help Republicans maintain control of the House, hopefully widening their margin in the House and, of course, also helping them take control of the Senate. That is the task at hand politically. There's a lot of other tasks at hand politically.