Initial Proofs for TCBD

RSSTwitterMore...