"Bernie Sanders lost the Democratic presidential nomination to Hillary Clinton, but he won more than 12 million votes in the primaries and was respectfully and elaborately saluted by Hillary Clinton, whom he has endorsed."