33_CbD_Proofs