CA-01-IV-coq-min