PATTERNS OF PROOF