CK FD Proofs