It’s fun to see how much Democrats and progressives hate each other, isn’t it?