NotFound black-coq