Title: Achieving proportionality in electoral systems