NCD proof