20 million fewer votes?

That just smells fishy. Please tell me that Democrats are actually looking into it and not just complaining on Twitter.