CA-01-RG-coq-min