Somewhat, but I think he is mainly supporting Anyone But Trump because the GOP is terrified that if they don’t run a “True Conservative” candidate at the top of the ballot many of their voters won’t show up in November and they’ll be massacred down-ballot.