House Republican leaders canceled a vote on the Senate’s budget resolution Wednesday night, as Speaker Mike Johnson came to terms with what had been clear for many hours: Too many Republicans would vote in opposition and the measure was bound to fail.

House Minority Leader Hakeem Jeffries (D-N.Y.) has formally challenged Speaker Mike Johnson (R-La.) to debate the Republicans’ budget blueprint on the floor of the lower chamber. In a letter sent to the Speaker on Tuesday,