Delete NTCCcoq.pdf