“…They and other authors have therefore begun to explore the broader epistemic benefits of informal proof [4,5,42,55,62]. It is even reasonable to maintain that philosophy of mathematics has suffered from excessive fixation on proof itself, and a number of philosophers of mathematics are turning their attention to aspects of mathematical understanding that extend well beyond justification and correctness [3,20,21,22,23,27,36,37,38,46,49,50,57,58,59,65].…”