"proof" . . .