Theoretical Redistricting