Text this: An illustration of the explanatory and discovery functions of proof