From the moment that Donald Trump stomped his way to victory in Indiana, the results of the Republican nominating process were not in doubt. It was clear at that point that Trump would have enough bound delegates to carry a majority at the convention. It was similarly clear that no one would get more votes than Trump, either, making it that much harder for the nomination to be snatched away from him.

And yet. On Monday, during the first day of that convention, there was a spirited but doomed effort to force a change to the rules that would ultimately, perhaps, unbind those Trump delegates, freeing the people in the room to vote for whomever they wanted. To vote, in other words, for someone besides Donald Trump.

It was clear for weeks that this wouldn't work, but still that effort was made on Monday. Why? Because there's still a big chunk of the Republican base that would prefer any candidate besides Trump as the nominee.

On Sunday, NBC News and the Wall Street Journal published poll results to that effect. Only 38 percent of Republicans, they found, were satisfied with their nominee, compared to 54 percent of Democrats who were satisfied with Hillary Clinton's position at the top of her party's ticket.

Pew Research found last month that the core group of Republicans who opposed Trump in the primaries -- 44 percent of the total, per their analysis, as well as a majority of votes cast -- were only slightly more likely than not to say they were certain they'd back Trump in the general election.

Trump is also still more negatively viewed by Republicans than Clinton is by Democrats. In the most recent Post/ABC News poll, 74 percent of Democrats view Clinton favorably to only 65 percent of Republicans. About 1-in-6 Republicans view Trump strongly unfavorably, compared to 1-in-10 Democrats who say that of Clinton.

That said, Trump opponents were hampered in part by the lack of a clear alternative. In June, just over half of Republicans told pollsters from CNN/ORC that they preferred Trump to an unnamed alternative candidate. This month, Trump saw an increase in support versus that anonymous somebody. Clinton, on the other hand, saw a dip, with more Democrats saying they'd prefer Bernie Sanders after Clinton's rough month.

Preferring Trump to no one doesn't mean Republican voters are all happy about Trump. Fewer than 4-in-10 like Trump as an option and, one might assume, were happy to see an attempt to dislodge him. If that effort had been successful, though, it would have been a very small dog catching a very large car: Then what?

If the protesters had been able to answer that question, they'd have been a bit better off. Of course, if they'd beaten Trump at the polls, they'd have been better off still.