Ben Pace, the Vacationing Vagabond comments on The value of learning mathematical proof