Why in the world would that matter?
Cruz cut off his proverbial nose, today. He is finished.
Cruz should have grown up and learned by now that this is not about HIM, it’s about getting behind the GOP and try to defeat Hilliary. How petty, how low and what a sore loser. I hope this means he’s out of the game for the rest of his life now...