Economist’s guide to mechanized reasoning OR: proving 84 impossibility theoremscs.bham.ac.uk1 pointgtani14 years ago