coq:den niwa