Proofs and Fundamentals - sidottu, Englanti, 2011