CB Proofs

Errors

Notes