-coq    -intelligent