Text this: Formal Contributions to the Theory of Public Choice :