Den senaste månaden har demokrater fört en ihärdig kampanj för att övertyga republikanska elektorer om att gå mot traditionen och inte rösta på Donald Trump. 37 elektorer hade krävts för att göra att beslutet att välja president skulle hamna i representanthuset.
Men så blir det alltså inte, efter att Texas elektorer lagt de avgörande 270:e rösterna och därmed försäkrat att Donald J Trump blir USA:s 45:e president.