Email Record: Formal Contributions to the Theory of Public Choice :