Text this: The problem of proof :