CASA Proofs