Terrence Proofs