coq3N