Was my NCD proof accepted