MoL-2012-07: Tanswell, Fenner (2012) Proof and Prejudice: Why Formalising doesn't make you a Formalist. [Report]