 Yeah, after a continuous stream of headlines about the division in the Republican Party and how they could potentially sink them in November, as you said, they must be happy or I guess at least relieved to see it happening on the other side now.