Senator Ted Cruz (R., Texas), Senator Mike Lee (R., Utah), Senator Jeff Sessions (R., Ala.), and Senator David Vitter (R., La.) haven’t given up on forcing a vote today on President Obama’s executive orders pertaining to immigration, National Review Online has learned.

The House passage of a funding package that does not include a rider withholding funding for the implementation of the orders makes it very difficult to get a vote on the policy substance; the House’s passage of a continuing resolution to fund the government into next week makes it doubly difficult, because it means that outgoing Senate Majority Leader Harry Reid (D., Nev.) doesn’t need unanimous consent to take up the cromnibus funding package.

The likeliest option is that the Senate trio will execute a procedural maneuver to get a vote. In this scenario, they wouldn’t get a vote on the policy substance, but might get a vote on some kind of motion to take up an amendment that would withhold funding. This procedural vote would function as a proxy for the policy vote.

This post has been updated.