31_CbD_Proofs