Text this: The nature of proof;