More proofs; CP and Sigma-theory.