26-CICM-Proofs