Can I choose WHEN to do it? Because now? Meh, Cruz and Rubio are both just as nuts as Trump, they’re just less obnoxious about it, and I think Trump is the best chance for the Democrats to really run the table. But if I could do it in October, when it’s too late for the GOP to name a replacement and it would guarantee…