proof of NCD