-coq    -lama