The 5-Minute Fix: What we know -- and don't know -- on Day 3 of the Republican convention

A lot has happened since we last talked, so let's jump right in.

Here's what we know about Election 2016 now that we're halfway through the Republicans' convention in Cleveland:

Donald Trump is the Republicans' presidential nominee: The #NeverTrump movement never had a chance. Trump officially won the nomination Tuesday night; he'll formally accept it Thursday. But never one to shy away from the camera, Trump shared his feelings on this historic moment with the world via a video address to the convention Tuesday:

Republican leaders don't seem thrilled about it: Moments after he officially won the nomination, Republican congressional leaders mentioned Hillary Clinton twice as many times — sometimes more — than they mentioned Trump. In his convention speech, Senate Majority Leader Mitch McConnell (R-Ky.) mentioned Clinton 24 times and Trump only five. House Speaker Paul D. Ryan (R-Wis.) barely mentioned either.

Senate Majority Leader Mitch McConnell and House Speaker Paul D. Ryan at the convention Tuesday. (Jabin Botsford/The Washington Post)

Donald Trump doesn't seem to care. For the most part, the attention is on him, and that's the way Trump likes it, writes Fix Boss Chris Cillizza: "Trump's job is to be, well, Trump. That is, quite clearly, how Trump sees the role of president — as a sort of brand ambassador for the United States. He is the guy who will make people believe America can be, um, great again — at home and abroad. He will be the strong public face that Barack Obama isn't — and doesn't know how to be. As for the day-to-day operations of the White House, he would delegate most of them."

"Hillary Clinton should be in jail" has gone mainstream: This was a fringe thing to say until Trump said it back in early June, referring to her use of a private email server while secretary of state. Now, it's a full-blown rallying cry for Republicans, who chanted "lock her up!" during New Jersey Gov. Chris Christie's (R) speech/indictment of Clinton on Tuesday.

Protesters in June in Ohio. (Ty Wright/Bloomberg)

Republicans are angry. So is everyone, actually. Chanting "lock her up," The Fix's Philip Bump writes, "represents a natural way station in American politics." A recent Pew Research Survey found that 45 percent of Republicans and 41 percent of Democrats view the opposite party as a "threat to the nation's well-being."

(Philip Bump / The Washington Post)

(Philip Bump / The Washington Post)

It's a 2020 launching pad. So this happened Wednesday: Ted Cruz held what felt very much like a rally at the convention.