improve super-coq.