I think he will run if Trump declines to run. If Trump enters the race, I think Pompeo will not challenge him. I think the same goes for DeSantis. We’ll see...