 But those are two big, big changes for the Republican Party platform. Haven't heard a lot of dissent about that. Obviously, there was a lot of discussion amongst the GOP delegates before that was passed. But for the most part, that was at the behest of Donald Trump.