I highly doubt that either Cruz or Trump has any interest in being on a presidential ticket with the other.
True.