Text this: The problem of proof,