Cali Proofs