RE: COQ_tal--comment