Bessis's thesis that a formal proof is the residue of intuitive understanding, not its source — evidence that something was understood, not the understanding itself. The receipt, not the meal.
