Understanding mathematical proof by John Taylor