I was quoted briefly in Mathematicians think like machines for perfect proofs, New Scientist, by Jacob Aron, June 26, 2013. (Actually, my quote there is a little out of context, as my remark there…