formula_7–PSC is based on the Hare quota formula_11. If formula_1 is a solid coalition for formula_2 and the number of voters in formula_1 is at least formula_8 Hare quotas, then at least formula_8 candidates from formula_2 must be elected (if formula_2 has less than formula_8 candidates at all, then all of them have to be elected). This criterion was created by Michael Dummett.