cobra proofs

cobra proofs