USC Marshall C4C - Proofs