That's something at least, but also it should be mentioned that in not hearing debate or voting on the others means the Senate also did not vote on Orrin Hatch's amendment to raise the H1B cap which he introduced as an amendment to the Budget Resolution. I think the goal of this Budget Resolution was to balance the budget in 10 or less years and defund Obama Care.