-coq    -esmi