RE: proof 13