FDC & Proof Sets