A mathematical way of identifying partisan gerrymanders.