PEPE Knows COQ (PNCOQ)