Cd Proof Logic