Oh well, bag the Trump/Cruz idea I guess.
I don’t see it happening now. It seemed possible as recently as January, perhaps. At this point, there’s been too much bad blood.