Kudos to Ted Cruz! Yes, it's time for Mitch to go!