"If this amendment were to be adopted, Ohio would actually end up with a system that mandates — that compels — map drawers to ...