CHS equals PROOFS