Well, that should save Cruz plenty of time, effort and money in the next months.
I saw a rumor yesterday around here that he's still got $9 million or so. Wonder what mischief he could get up to with that?