Proof FDC/UNC.