Just a reminder to everyone getting excited about Clinton setting world history: on average ~20 world leaders are women at any given time.