A partisan districting protocol with provably nonpartisan outcomes | Dark Hacker News