option? >> absolutely. and when you talk to republicans about this, they'll say, look, we did this in october. yes, it was over the government shutdown. this led to 16 days of a intraparty fight and terrible poll numbers for republicans. at the end of the day, the party is looking at november. they know if they go into the debt default right now, they probably will get the blame for this, they'll be divided about how to get out of it. when they push on obamacare and they believe that's their ticket back to the senate majority and to keep the house. why get into an intraparty fight now when the party believes it can be focusing on the one thing that unites it. >> what is going to happen in the senate? ted cruz was happy to send out a press release yesterday saying he's going to filibuster. >> i think what he's going to do