Title: Formal Contributions to the Theory of Public Choice