CCA Proofs OK