UC Santa Barbara - Proofs