And I think, honestly, not that Trump necessarily cares, but I think Trump would have a very difficult time selling that to some of the more conservative elements of the GOP, given Robert F. Kennedy Jr.