Electoral College "badly distorts the vote."