a weight named Coq