71 percent MoreCoq