Derek Muller for the WSJ:

The 538 members of the Electoral College convened Monday and cast a majority of their votes for Donald Trump for president and Mike Pence for vice president. When Congress convenes on Jan. 6 to count the votes, it will mostly be a formality. But its decision to count or exclude the votes of some “faithless electors” will set a precedent for future elections.