As did Cruz.
If Cruz’ 7+mil voters had stayed home instead of voting for DJT, he would have lost worse than Romney.