k_ebel comments on The value of learning mathematical proof