Ways of Proof Theory sidottuEnglanti, 2010