sentence on Coq awards