Luckily it doesn't matter. These people are the 20-25% of Democrat voters. The rest of the voters are reasonable Democrats (aka Trump supporters), Independents (most of which will vote for Trump) and Republicans (...sadly only the vast majority will vote for Trump and not 100%).
Seems that way considering all the comments appear to be int'l