Hasn't Cruz been working heavily with Rubio on a bill to defund Obamacare in the past month or so?