Reminder: Democrats used algorithmic game theory to rig the election