The goal of the project is to design new generic election rules, protocols and algorithms that ensure proportionality—an equal treatment of implicit groups of voters (i.e., groups that are not declared upfront). We plan to prove theorems establishing whether our notions of proportionality are satisfiable, specifically when combined with other desirable properties, and formally justifying that our new rules are proportional. We plan to design efficient algorithms for the problem of finding proportional public decisions.