David Gooding – Proofs And Difficulties