Partisan gerrymandering is not illegal under federal law