-coq    -fail    -explosion